n (computing theory) A symbol in a formal grammar that can appear in sentences of the grammar. Compare non-terminal symbol.